<?php
function FreshenSessionCookie($lifetimeSeconds, $cookieName = 'PHPSESSID')
{
    if (isset($_COOKIE[$cookieName]))
        {
        $data = $_COOKIE[$cookieName];
        $timeout = time()+$lifetimeSeconds;
        setcookie($cookieName, $data,  $timeout);
        }
}
?>
